Neue Herleitung und explizite Restabschätzung der Riemann-Siegel-Formel

Die asymptotische Entwicklung der Funktion Z(t) = eζ(1/2 + it) für reelle t → +∞ (dabei ist θ(t) = = log Γ(1/4 + it/2)− (t log π)/2 und ζ(1/2 + it) die Riemannsche Zetafunktion auf der kritischen Geraden <(s) = 1/2) – heute allgemein als Riemann-SiegelFormel bezeichnet – wird auf neue Weise mit Hilfe der Sattelpunktmethode aus der sogenannten Riemann-Siegel-Integralformel hergeleitet. Die Formeln zur Berechnung der in der asymptotischen Reihe auftretenden Koeffizienten werden vereinfacht und für t ≥ 200 explizite Fehlerabschätzungen für die ersten 11 Partialsummen dieser Reihe angegeben. Der tabellarische Anhang enthält u. a. die exakte Darstellung der ersten 13 Koeffizienten der asymptotischen Reihe in der auf D. H. Lehmer zurückgehenden Form sowie die Potenzreihenentwicklungen und die Entwicklungen nach Tschebyscheffschen Polynomen 1. Art der ersten 11 Koeffizienten mit einer Genauigkeit von 50 Dezimalstellen. The asymptotic expansion of the function Z(t) = eζ(1/2 + it) for real t→ +∞ where θ(t) = = log Γ(1/4 + it/2) − (t log π)/2 – today known as Riemann-Siegel formula – is derived in a new and simpler way. Simplified computation formulas of its coefficients are given as well as explicit error estimates of its first 11 partial sums for t ≥ 200. In an appendix the first 13 coefficients of the asymptotic series are presented in a form introduced by D. H. Lehmer in 1956. Power series and expansions in terms of Čebyšev Polynomials are given for the first 11 coefficients to 50 decimals.